(0 17 3)(1 7 4)(2 19 10)(5 16 6)(8 14 12)(9 18 11)(13 20 15)
ALLOWS (11/8)-SEQUENCE
1: (10 14 19)
(0 17 3)(1 7 4)(2 19 12 8 14)(5 16 6)(9 18 11)(10)(13 20 15)
2: (9 18 11)
(0 17 3)(1 7 4)(2 19 12 8 14)(5 16 6)(9)(10)(11)(13 20 15)(18)
3: (8 14 12)
(0 17 3)(1 7 4)(2 19 12)(5 16 6)(8)(9)(10)(11)(13 20 15)(14)(18)
4: (13 20 15)
(0 17 3)(1 7 4)(2 19 12)(5 16 6)(8)(9)(10)(11)(13)(14)(15)(18)(20)